Control of Timed Systems
نویسنده
چکیده
◮ CORTOS = Control and Observation of Real-Time Open Systems ◮ Participants: LSV + VERIMAG + IRCCyN ◮ Web: http://www.lsv.ens-cachan.fr/aci-cortos/ Thèmes du projet ◮ Algorithmes de synthèse de contrôleur ◮ Observation et détection de fautes ◮ Logiques pour exprimer le contrôle ◮ Contrôle optimal Session Invitée
منابع مشابه
A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملIntegrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems
In this paper we integrate two diierent approaches for the speciication and veriication of timed systems being used in control theory and computer science. These are the timed condition/event systems and the timed automata formalisms. Our main result states that timed condition/event systems can be eeciently transformed into timed automata which then can be analyzed automatically.
متن کاملControl Synthesis of Discrete Manufacturing Systems using Timed Finite Automata
An application of timed game automaton to the control synthesis of discrete manufacturing systems is presented in the paper. This approach adopts the algorithm for optimal control synthesis of timed automata proposed in [1] as a game-theoretic approach between controller and the model of the plant. KeyWords: Timed automata, control synthesis, model verification, production systems.
متن کاملTime Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کاملComparing Timed C/E Systems with Timed Automata (Abstract)
Condition/Event systems 14] represent a continuous{time modeling framework used in control theory within the eld of discrete event dynamic systems. This model has been extended in 7] to include real{time aspects. Timed automata 2] are a widely accepted model for real{time systems. They have been intensively studied from diierent points of view leading to a variety of tools that analyze real{tim...
متن کامل